证明了L^*-Lindenbaum代数[F]是具有逆序对台对应的有界分配格．得出了L^*中的公理系统的一种简化形式．......

利用格论中滤子的相关知识，对公式集D（Γ）的性质进行研究。通过对D（Γ）和R0代数中MP滤子相似性的比较分析，证明了L^＊-Lindenbaum代数[F]中......